Flexible Interval Planning in Concurrent Temporal Golog
نویسندگان
چکیده
In this paper we present an approach to flexible planning and scheduling based on a suitable mapping of the Constraint Based Interval Planning paradigm [7, 2] into the Situation Calculus. We show how this representation is particular suitable for executive control processes, and illustrate this with an example.
منابع مشابه
Representing Flexible Temporal Behaviors in the Situation Calculus
In this paper we present an approach to representing and managing temporally-flexible behaviors in the Situation Calculus based on a model of time and concurrent situations. We define a new hybrid framework combining temporal constraint reasoning and reasoning about actions. We show that the Constraint Based Interval Planning approach can be imported into the Situation Calculus by defining a te...
متن کاملPlanning and Verification in the agent language Golog
The action programming language Golog has proven to be a useful means for the high-level control of autonomous agents such as mobile robots. It is based on the Situation Calculus, a dialect of classical first-order logic, that is used to encode dynamic domains through logical axioms. Perhaps the greatest advantage of Golog is that a user can write programs which constrain the search for an exec...
متن کاملTowards an Integration of Golog and Planning
The action language Golog has been applied successfully to the control of robots, among other things. Perhaps its greatest advantage is that a user can write programs which constrain the search for an executable plan in a flexible manner. However, when general planning is needed, Golog supports this only in principle, but does not measure up with state-of-the-art planners. In this paper we prop...
متن کاملModel-Based Rescue Robot Control with ECLiPSe Framework
In this work we describe a model-based approach to the execution and control of an autonomous rescue rover. We show how this control architecture naturally supports human-robot interaction in the diverse activities needed in rescue and search. We deploy high-level agent programming in Temporal Concurrent Golog (TCGolog) which provides both a declarative language (i.e. Temporal Concurrent Situat...
متن کاملSequential, Temporal GOLOG
We extend the ontology and foundational axioms of the sequential situation calculus to include time. When combined with a view of actions with durations as processes that are initiated and terminated by instantaneous actions, this explicit representation of time yields a very rich account of interleaving concurrency in the situation calculus. Based upon this axiomatiza-tion, we extend the seman...
متن کامل